using priperties show that a union a intersection b equal to a